Efficient annotated terms
نویسندگان
چکیده
منابع مشابه
Efficient annotated terms
How do distributed applications exchange tree-like data structures? We introduce the abstract data type of Annotated Terms (ATerms) and discuss their design, implementation and application. A comprehensive procedural interface enables creation and manipulation of ATerms in C or Java. The ATerm implementation is based on maximal subterm sharing and automatic garbage collection. A binary exchange...
متن کاملEecient Annotated Terms
How do distributed applications exchange (tree-like) data structures? To this end, we introduce the abstract data type of Annotated Terms (ATerms) and discuss their design, implementation and application. A comprehensive procedural interface enables creation and manipulation of ATerms in C. A Java version is also supported. The ATerm implementation is based on maximal subterm sharing and automa...
متن کاملHigher-Order Annotated Terms for Proof Search
A notion of embedding appropriate to higher-order syntax is described. This provides a representation of annotated formulae in terms of the diierence between pairs of formulae. We deene substitution and uniication for such annotated terms. Using this representation of annotated terms, the proof search guidance technique of rippling can be extended to higher-order theorems. We illustrate this by...
متن کاملRanking User-annotated Images for Multiple Query Terms
This paper examines the task of searching photographs shared on the Flickr website (http://www.flickr.com/) to find images which contain objects matching user queries. If, for example, the user enters the search terms ‘cat’ and ‘dog’, we can quickly find potentially-relevant images using the textual tags associated with the images. Our aim is to rank those potentially-relevant images and return...
متن کاملEfficient Mining of Temporally Annotated Sequences
Sequential patterns mining received much attention in recent years, thanks to its various potential application domains. A large part of them represent data as collections of time-stamped itemsets, e.g., customers’ purchases, logged web accesses, etc. Most approaches to sequence mining focus on sequentiality of data, using time-stamps only to order items and, in some cases, to constrain the tem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software: Practice and Experience
سال: 2000
ISSN: 0038-0644,1097-024X
DOI: 10.1002/(sici)1097-024x(200003)30:3<259::aid-spe298>3.0.co;2-y